proof function limits are unique